Logical Reconstruction of RDF and Ontology Languages
نویسندگان
چکیده
In this sketchy paper we introduce a logical reconstruction of the RDF family of languages and the OWL-DL family of languages. We prove that our logical framework is equivalent to the standard W3C definitions of RDF and OWL-DL/Lite. The main aim is to have a unified model theoretic semantics for both worlds. As a consequence we get various complexity results and a model theoretic semantics for basic SPARQL.
منابع مشابه
Logical Reconstruction of Normative RDF
In this sketchy paper we introduce a logical reconstruction of the RDF family of languages and the OWL-DL family of languages. We prove that our logical framework is equivalent to the normative W3C definitions of RDF/RDFS and OWL-DL/Lite. The main aim is to have a unified model theoretic semantics for both worlds. As a consequence we get various complexity results and a model theoretic semantic...
متن کاملOntological Modeling: Part 11 Some Differences between Owl Ontologies and Typical Databases
This is the eleventh in a series of articles on ontology-based approaches to modeling. The main focus is on popular ontology languages proposed for the Semantic Web, such as the Resource Description Framework (RDF), RDF Schema (RDFS), and the Web Ontology Language (OWL). OWL is based on description logic. A later series of articles will explore other logic-based languages such as datalog. The f...
متن کاملDevelopment of a Simple Ontology Definition Language (SOntoDL) and Its Application to a Medical Information Service on the World Wide Web
$EVWUDFW It is the vision of the protagonists of the Semantic Web to achieve a set of connected applications for data on the World Wide Web (WWW) in such a way as to form a consistent logical web of data. Therefore, the Semantic Web approach develops languages for expressing information in a machine-processable form. Particularly, the Resource Description Framework (RDF) and RDF Schema (RDFS) a...
متن کاملRepresenting Natural Language Sentences in RDF Graph and Discourse Representation for Ontology Mapping
English language has its own word order, which determines the way of ordering words in a sentence. This research work gives a novel framework for database to ontology mapping for explicit description of domain knowledge. It presents the manner by which sentences in English language can be represented as knowledge patterns by means of RDF (Resource Description Framework) graphs. Knowledge patter...
متن کاملInference rules for RDF(S) and OWL in N3Logic
This paper presents inference rules for Resource Description Framework (RDF), RDF Schema (RDFS) and Web Ontology Language (OWL). Our formalization is based on Notation 3 Logic, which extended RDF by logical symbols and created Semantic Web logic for deductive RDF graph stores. We also propose OWL-P that is a lightweight formalism of OWL and supports soft inferences by omitting complex language ...
متن کامل